Nuprl Lemma : princ_ideal_wf
13,42
postcript
pdf
r
:RngSig,
a
:|
r
|. (
a
)
r
Ideal(
r
){i}
latex
Up
rings
1
Definitions of Statement
(
a
)
r
origin
r:RngSig, a:|r|. (a)r 
Ideal(r){i} r:RngSig, a:|r|. (a)r Ideal(r){i}